From 16a282d24416f03bf8665d9dbf473a9137c04b8b Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Tue, 28 Oct 2008 12:41:51 +0000
Subject: [PATCH] Use $wgJsMimeType for JavaScript's Mime type

---
 includes/ChangesList.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/ChangesList.php b/includes/ChangesList.php
index 48c748592b..f453687e1d 100644
--- a/includes/ChangesList.php
+++ b/includes/ChangesList.php
@@ -394,14 +394,14 @@ class EnhancedChangesList extends ChangesList {
 	*  @ return string
 	*/
 	public function beginRecentChangesList() {
-		global $wgStylePath, $wgStyleVersion;
+		global $wgStylePath, $wgJsMimeType, $wgStyleVersion;
 		$this->rc_cache = array();
 		$this->rcMoveIndex = 0;
 		$this->rcCacheIndex = 0;
 		$this->lastdate = '';
 		$this->rclistOpen = false;
 		$script = Xml::tags( 'script', array(
-			'type' => 'text/javascript',
+			'type' => $wgJsMimeType,
 			'src' => $wgStylePath . "/common/enhancedchanges.js?$wgStyleVersion" ), '' );
 		return $script;
 	}
-- 
2.20.1